/* @LICENSE(NICTA_CORE) */

#include <stdio.h>

/* Squash compiler warnings (accessible prototype provided elsewhere). */
void abort(void);

void
abort(void)
{
    printf("abort() called.\n");

    while (1);
}
